/* ==============================================================================
*
*   Copyright (c) 2010, Pierre Favier
*   All rights reserved.
*
*   NTasking is free software: you can redistribute it and/or modify it
*   under the terms of the GNU General Public License as published by the
*   Free Software Foundation.
*
*   Redistribution and use in source and binary forms, with or without
*   modification, are permitted provided that the following conditions
*   are met:
*
*   -   Redistributions of source code must retain the above copyright notice,
*       this list of conditions and the following disclaimer.
*
*   -   Redistributions in binary form must reproduce the above
*       copyright notice, this list of conditions and the following
*       disclaimer in the documentation and/or other materials
*       provided with the distribution.
*
*   THIS SOFTWARE IS PROVIDED "AS IS" AND ANY EXPRESS OR IMPLIED
*   WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
*   OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
*   DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS
*   BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
*   EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
*   TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
*   DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
*   ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR
*   TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF
*   THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
*   SUCH DAMAGE.
*
* ============================================================================== */

using System;
using NUnit.Framework;
using Rhino.Mocks;

namespace NTasking.ValidationTests.ACATS_3_0.C9
{

    [TestFixture(Description =
        " CHECK THAT A COMPLETED TASK WITH DEPENDENT TASKS TERMINATES WHEN " +
        " A L L  DEPENDENT TASKS HAVE TERMINATED. ")]
    public class C94001G : ValidationTest
    {

        private static Spy _spy;


        internal class Spy
        {

            private Guard _guard;


            internal class Guard : Task
            {
                [Entry]
                internal Action<int> Write { get; private set; }

                [Entry]
                internal Func<int> Read { get; private set; }

                protected override void Body()
                {
                    int spyNumb = 0;

                    while (true)
                    {
                        int numb1 = spyNumb;
                        Select(s => s.
                            Accept(Read, () =>
                            {
                                return numb1;
                            }).
                        Or.
                            Accept(Write, (numb) =>
                            {
                                spyNumb = 10*numb1 + numb;
                            }).
                        Or.
                            Terminate);
                    }
                }
            }


            internal Spy()
            {
                _guard = new Guard();
                _guard.Activate();
            }


            internal int SpyNum()
            {
                return _guard.Read();
            }


            internal void PSpyNumb(int digt)
            {
                _guard.Write(digt);
            }


            internal int FinitPos(int digt)
            {
                _guard.Write(digt);
                return digt;
            }

        }


        private static IValidationTestResult result;


        private class TT1 : Task
        {

            protected override void Body()
            {
                Ada.Delay(1.0);

                _spy.PSpyNumb(1);
            }

        }


        private class T1 : Task
        {

            internal TT1 obj1;
            internal TT1 obj2;
            internal TT1 obj3;

            protected override void DeclarativePart()
            {
                obj1 = new TT1();
                obj2 = new TT1();
                obj3 = new TT1();
            }


            protected override void Body()
            {
                ; 
            }

        }


        [Test(Description =
            "TERMINATION WHEN ALL DEPENDENT TASKS HAVE TERMINATED")]
        public void Test()
        {
            T1 t = null;

            result = Mocks.DynamicMock<IValidationTestResult>();

            Expect.Call(result.TestFailed).Repeat.Never();
            Mocks.ReplayAll();

            Ada.Begin(() =>
            {
                _spy = new Spy();

                Ada.Declare(() =>
                {
                    t = new T1();
                },
                Begin: () =>
                {
                    ;
                }); // WAIT FOR TERMINATION

                if (_spy.SpyNum() != 111)
                    // TASK T1 TERMINATED BEFORE ALL DEPENDENT TASKS HAVE TERMINATED
                    result.TestFailed();
            });
        }

    }

}
